UML Diagrams and Source based Automatic Test Suite Regeneration for Improving State Model Coverage
نویسندگان
چکیده
Automated test regeneration intends to ensure high coverage of system model from an existing test suite. While regenerating test suite, most of the existing techniques ignore coverage achieved by existing test suite. As a result, these techniques leave important model elements untested. Thus, an automatic test regeneration technique to achieve high state model coverage is proposed. In the proposed technique, Input Parser module processes inputted UML diagrams, source code and test suite as XML elements, source class and test steps respectively. The Coverage Computational module measures model coverage result by executing the existing test suite. Finally, Test Regeneration module regenerates executable test cases considering coverage result, UML and source information. The experimental results on four projects show that the proposed technique improves transition and state coverage of existing test suite on average by 61.26% and 52.95% respectively. Moreover, the technique has also successfully regenerated 98% executable test cases.
منابع مشابه
Automated Model-Based Test Path Generation from UML Diagrams via Graph Coverage Techniques
UML State Chart Diagrams are the basic models used to derive test paths from intermediate graphs generated automatically using graph coverage techniques in addition to the tool support provided by MBT Tool TestOptimal’s Basic as well as ProMBT version. The test Paths Generated covers Node Coverage, Edge Coverage, Edge Pair Coverage as well as most importantly Prime Path coverage which is till t...
متن کاملAutomated Test Code Generation from UML Protocol State Machines
This paper presents a framework for automated generation of executable test code from UML 2.0 protocol state machines. It supports several coverage criteria for state models, including state coverage, transition coverage, and basic and extended round-trip coverage. It transforms the state invariants and transition postconditions of a state model into executable assertions to be verified against...
متن کاملImproving Test Coverage for UML State Machines Using Transition Instrumentation
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools provide only a limited coverage for different testing objectives. We argue that a better coverage can be achieved by instrumenting transitions, and performing an appropriate preand postprocessing. We describe the neces...
متن کاملAn Empirical Study of Test Cases Selection by Applying Criteria to Activity Diagram
In principle, structural coverage criterion enables the evaluation of test results and the automation of test execution; however, it is limited in that it cannot be applied to specification based testing. Model-Based Testing is one of the solutions used to overcome this limitation. We propose an approach in which UML activity diagrams are used as a model. Once these activity diagrams are genera...
متن کاملTest models and coverage criteria for automatic model-based test generation with UML state machines
Testing is an important means of quality management and is widely used in industrial practice. Model-based functional testing is focussed on comparing the system under test to a test model. This comparison usually consists of automatically generating a test suite from the test model, executing the test suite, and comparing the observable behavior to the expected one. Important advantages of mod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017